大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Micro 的图书(共9047本)

Advances in Information Technology [electronic resource] : 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings

0
索取号：
作者：Papasratorn、 Borworn.、Lavangnananda、 Kittichai.、Chutimaskul、 Wichian.、Vanijja、 Vajirasak.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Collective Intelligence. Technologies and Applications [electronic resource] : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part III

0
索取号：
作者：Pan、 Jeng-Shyang.、Chen、 Shyi-Ming.、Nguyen、 Ngoc Thanh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Collective Intelligence. Technologies and Applications [electronic resource] : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part I

0
索取号：
作者：Pan、 Jeng-Shyang.、Chen、 Shyi-Ming.、Nguyen、 Ngoc Thanh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Unifying Theories of Programming [electronic resource] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

0
索取号：
作者：Qin、 Shengchao.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mobile Lightweight Wireless Systems [electronic resource] : Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers

0
索取号：
作者：Chatzimisios、 Periklis.、Verikoukis、 Christos.、Santamar铆a、 Ignacio.、Laddomada、 Massimiliano.、Hoffmann、 Oliver.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Intelligence in Security for Information Systems 2010 [electronic resource] : Proceedings of the 3rd International Conference on Computational Intelligence in Security for Information Systems (CISIS鈥ᰩ

0
索取号：
作者：Herrero、 脕lvaro.、Corchado、 Emilio.、Redondo、 Carlos.、Alonso、 脕ngel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

0
索取号：
作者：Barringer、 Howard.、Falcone、 Ylies.、Finkbeiner、 Bernd.、Havelund、 Klaus.、Lee、 Insup.、Pace、 Gordon.、Ro艧u、 Grigore.、Sokolsky、 Oleg.、Tillmann、 Nikolai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part II

0
索取号：
作者：Liu、 Honghai.、Ding、 Han.、Xiong、 Zhenhua.、Zhu、 Xiangyang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part I

0
索取号：
作者：Liu、 Honghai.、Ding、 Han.、Xiong、 Zhenhua.、Zhu、 Xiangyang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Recent Trends and Developments in Social Software [electronic resource] : International Conferences on Social Software, BlogTalk 2008, Cork, Ireland, March 3-4, 2008, and BlogTalk 2009, Jeju Island, South Korea, September 15-16, 2009. Revised Selected Papers

0
索取号：
作者：Breslin、 John G.、Burg、 Thomas N.、Kim、 Hong-Gee.、Raftery、 Tom.、Schmidt、 Jan-Hinrik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Autonomic and Trusted Computing [electronic resource] : 7th International Conference, ATC 2010, Xi鈥檃n, China, October 26-29, 2010. Proceedings

0
索取号：
作者：Xie、 Bing.、Branke、 Juergen.、Sadjadi、 S. Masoud.、Zhang、 Daqing.、Zhou、 Xingshe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Testing Software and Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

0
索取号：
作者：Petrenko、 Alexandre.、Sim茫o、 Adenilso.、Maldonado、 Jos茅 Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Social Informatics [electronic resource] : Second International Conference, SocInfo 2010, Laxenburg, Austria, October 27-29, 2010. Proceedings

0
索取号：
作者：Bolc、 Leonard.、Makowski、 Marek.、Wierzbicki、 Adam.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Metadata and Semantic Research [electronic resource] : 4th International Conference, MTSR 2010, Alcal谩 de Henares, Spain, October 20-22, 2010. Proceedings

0
索取号：
作者：S谩nchez-Alonso、 Salvador.、Athanasiadis、 Ioannis N.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.